priority -50

snippet Idris "Idris Gitignore Template"
### Idris ###
*.ibc
*.o
$0
endsnippet
